Experiments with ATP Integration in a
نویسندگان
چکیده
We describe a combination of the NORA/HAMMR software component retrieval tool and the ILF system which provides the necessary infrastructure to apply diierent rst-order theorem provers to the emerging proof problems. This framework allows the cooperation of independent deductive subsystems in two diierent modes. Our results show that both modes|competition between problem variants or provers and proper cooperation following the TECHS approach|improve the success rate considerably.
منابع مشابه
The role of ATP-binding cassette transporter A2 in childhood acute lymphoblastic leukemia multidrug resistance
Acute lymphoblastic leukemia (ALL) is one of the most prevalent hematologic malignancies in children. Although the cure rate of ALL has improved over the past decades, the most important reason for ALL treatment failure is multidrug resistance (MDR) phenomenon. The current study aims to explain the mechanisms involved in multidrug resistance of childhood ALL, and introduces ATP-binding cassette...
متن کاملIntegration of artificial neural network and geographic information system applications in simulating groundwater quality
Background: Although experiments on water quality are time consuming and expensive, models are often employed as supplement to simulate water quality. Artificial neural network (ANN) is an efficient tool in hydrologic studies, yet it cannot predetermine its results in the forms of maps and geo-referenced data. Methods: In this study, ANN was applied to simulate groundwater quality ...
متن کاملGlobal Demands ON Medical Education
World action in medical education, notably the global programs of the World Federation for Medical Education, the Edinburgh Declaration of 1988 and the 1993 World Summit, has led to major curricular change in medical schools. For educational reform to result in improved health services of nations, an essential requirement is integration between the medical education system and the health care d...
متن کاملThe effect of 6-deoxyclitoriacetal from Clitoria macrophylla Wall. on rat liver mitochondrial respiration and ATPase activity
A Thai plant Clitoria macrophylla Wall. was claimed to possess some pharmacological activities. The phytochemical studies reported a rotenoid compound, 6-deoxyclitoriacetal, which exhibits the cytotoxic effect in several cell line experiments. This report was to study the effect of 6-deoxyclitoriacetal on rat liver mitochondria, which may associated to its cytotoxic phenomena. Mitochondrial sus...
متن کاملThe effect of 6-deoxyclitoriacetal from Clitoria macrophylla Wall. on rat liver mitochondrial respiration and ATPase activity
A Thai plant Clitoria macrophylla Wall. was claimed to possess some pharmacological activities. The phytochemical studies reported a rotenoid compound, 6-deoxyclitoriacetal, which exhibits the cytotoxic effect in several cell line experiments. This report was to study the effect of 6-deoxyclitoriacetal on rat liver mitochondria, which may associated to its cytotoxic phenomena. Mitochondrial sus...
متن کاملThe effect of eight weeks of aerobic training and coriander seed extract on oxidative stress and ATP indices of lung tissue in rats poisoned with hydrogen peroxide
Background & Aim: Aerobic activities and herbal supplements are used as a methods to control and reduce many diseases caused by oxidative stress, including lung diseases. The aim of this study was to investigate the effect of 8 weeks of aerobic training and coriander seed supplementation on some indicators of oxidative stress and ATP levels in lung tissue of male rats poisoned with hydrogen per...
متن کامل